- числовой предикат
- numerical predicate
Русско-английский словарь по электронике. 2009.
числовой предикат
Look at other dictionaries:
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
Нганасанский язык — Самоназвание: ня’’ сиәде næʔ Страны: Россия … Википедия
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
Прекрасное — Одна из главных этно социо исторически детерминированных категорий классической эстетики, характеризующая традиционные эстетические ценности, выражающая одну из основных и наиболее распространенных форм неутилитарных субъект объектных отношений,… … Энциклопедия культурологии
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
Натуральное число — Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.). Натуральные числа (естественные числа) числа, возникающие естественным образом при счёте (как в смысле перечисл … Википедия
Карельский язык — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Запрос «Карельский» перенаправляется сюда; см. также другие значения … Википедия
логика отношений — ЛОГИКА ОТНОШЕНИЙ раздел современной логики, в котором рассматриваются отношения между объектами определенной предметной области (областей). Хотя Л. о. частный случай логики предикатов, а именно многочленных, или многоместных (и местных, и … Энциклопедия эпистемологии и философии науки
